An abstract extent function

Extended Abstract: An Improved Priority Function for Bidirectional Heuristic Search

Guni Sharon Computer Science University of Texas at Austin Austin, Texas, U.S.A ([email protected]) Robert C. Holte Computing Science Dept. University of Alberta Edmonton, Canada T6G 2E8 ([email protected]) Ariel Felner Information Systems Engineering Ben-Gurion University Beer-sheva, Israel ([email protected]) Nathan R. Sturtevant Computer science University of Denver Denver, Colorado, USA ...

Abstract structure of partial function $*$-algebras over semi-direct product of locally compact groups

This article presents a unified approach to the abstract notions of partial convolution and involution in $L^p$-function spaces over semi-direct product of locally compact groups. Let $H$ and $K$ be locally compact groups and $tau:Hto Aut(K)$ be a continuous homomorphism.  Let $G_tau=Hltimes_tau K$ be the semi-direct product of $H$ and $K$ with respect to $tau$. We define left and right $tau$-c...

Encryption as an abstract data - type : An extended abstract

At the Dolev-Yao level of abstraction, security protocols can be specified using multisets rewriting. Such rewriting can be modeled naturally using proof search in linear logic. The linear logic setting also provides a simple mechanism for generating nonces and session and encryption keys via eigenvariables. We illustrate several additional aspects of this direct encoding of protocols into logi...

abstract

ABSTRACT